From: Tim Lunn <tim@feathertop.org>
Date: Wed, 14 Nov 2012 20:50:49 +0000 (+1100)
Subject: workspacesDisplay: add spacing around the workspacesView
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5382
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=f63fceb2ea030c1a43a39f0ab9997287e8a3425e;p=gnome-shell.git

workspacesDisplay: add spacing around the workspacesView

On additional monitors the workspacesView takes up the entire monitor
and in some cases windows in overview can end up hard against the
edge of the monitor.

https://bugzilla.gnome.org/show_bug.cgi?id=688133
---

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index a14e67533..e99fe3dc3 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -863,8 +863,9 @@ const WorkspacesDisplay = new Lang.Class({
         let clipX = rtl ? x + controlsVisible : x;
         let clipY = y + (fullHeight - clipHeight) / 2;
 
+        let overviewSpacing = Main.overview._spacing;
         let widthAdjust = this._zoomOut ? controlsNatural : controlsVisible;
-        widthAdjust += Main.overview._spacing;
+        widthAdjust += overviewSpacing;
         width -= widthAdjust;
         if (rtl)
             x += widthAdjust;
@@ -882,10 +883,10 @@ const WorkspacesDisplay = new Lang.Class({
                                                      monitors[i].y,
                                                      monitors[i].width,
                                                      monitors[i].height);
-                this._workspacesViews[m].setGeometry(monitors[i].x,
-                                                     monitors[i].y,
-                                                     monitors[i].width,
-                                                     monitors[i].height);
+                this._workspacesViews[m].setGeometry(monitors[i].x + overviewSpacing/2,
+                                                     monitors[i].y + overviewSpacing/2,
+                                                     monitors[i].width - overviewSpacing,
+                                                     monitors[i].height - overviewSpacing);
                 m++;
             }
         }